YAKINDU Statechart Tools
YAKINDU Statechart Tools - Wikipedia